f7b91592123f70d5b134c4e9943f92428612e299,k-distribution/src/test/java/org/kframework/utils/KoreUtils.java,KoreUtils,stepRewrite,#K#Optional#,112

Before Change


    }

    public K stepRewrite(K parsedPgm, Optional<Integer> depth) {
        K kResult = initializeRewriter.apply(compiledDef.executionModule()).execute(parsedPgm, depth).k();
        return kResult;
    }

After Change


    }

    public K stepRewrite(K parsedPgm, Optional<Integer> depth) {
        K kResult = initializeRewriter.apply(Pair.of(compiledDef.executionModule(), null)).execute(parsedPgm, depth).k();
        return kResult;
    }